Primitive recursive function - PDFSEARCH.IO - Document Search Engine

Primitive recursive function
Results: 110

#	Item
101	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
102	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-11-02 04:31:30 Computing Software engineering Theory of computation Recursion Mathematical logic Primitive recursive function Computability theory Computer programming Programming idioms
103	PDF Document Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
104	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
105	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 17:43:08 Model theory Functions and mappings Predicate logic Semantics Primitive recursive function First-order logic Interpretation Function Quantification Logic Mathematical logic Mathematics
106	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-06-27 06:21:18 Theory of computation Computer science Computable function Entscheidungsproblem Algorithm Primitive recursive function Mathematical logic Turing machine Computability Computability theory Mathematics Theoretical computer science
107	PDF Document Add to Reading List Source URL: wwwmayr.in.tum.de Language: English - Date: 2002-08-20 18:19:43 Logic Symbol Constructible universe Structure Interpretation Primitive recursive function Linear temporal logic Darboux frame Model theory Mathematical logic Mathematics
108	PDF Document Add to Reading List Source URL: cl-informatik.uibk.ac.at Language: English - Date: 2007-08-10 15:44:11 Formal languages Computer science Logic in computer science Computability theory Mathematical logic Rewriting Primitive recursive function Fold Abstract rewriting machine Theoretical computer science Recursion Mathematics
109	PDF Document Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2003-05-27 13:10:44 Function Finitary relation Surjective function Primitive recursive function Mathematics Functions and mappings Mathematical analysis
110	PDF Document Add to Reading List Source URL: books.nap.edu Language: English - Date: 2000-08-02 12:13:45 Mathematical logic Theoretical computer science Computable function Alfred Tarski Raphael M. Robinson Primitive recursive function Function Julia Robinson Numbering Computability theory Mathematics Theory of computation

UPDATE